Modularity in Logic Programming

Modularity in Logic Programming

The research on modular logic programming has evolved along two different directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals have instead concentrated on the proble...

Modularity in Logic Programming Thesis Project

Distribution and Modularity in Nonmonotonic Logic Programming

In the recent years, there has been a trend towards considering computation in a distributed setting, due to the fact that increasingly not only data is linked via media such as the internet, but also computational entities which process and exchange data and knowledge. This leads to the formation of (possibly complex) systems of interlinked entities, based on possibly heterogenous formalisms, ...

Modularity in Logic

> The research on modular logic programming has evolved along two diierent directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals have instead concentrated on the probl...

Modularity in Geneti Programming